http://identifiers.org/mgd/MGI:3530440 Aph-1A<-> Null/knockout MGI:3530440 Aph1a<tm1.1Bdes> targeted mutation 1.1, Bart De Strooper